Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
231	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
232	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science
233	MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-07-18 08:08:46 Applied mathematics Models of computation Algebraic geometry Field theory Valuation Combinatory logic Denotational semantics Theoretical computer science Logic in computer science Mathematics
234	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-12-14 22:31:51 Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software
235	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
236	Seminar on Sublinear Time Algorithms Lecture 5 April 21, 2010 Lecturer: Robert Krauthgamer Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-05-17 00:53:00 Quantum complexity theory Probabilistic complexity theory Models of computation Analysis of algorithms Randomized algorithm PP Decision tree model IP MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics
237	Abstract: One of the main goals of bounded rationality models is to understand the limitations of agent’s abilities in building representations of strategic situations as maximization problems and in solving these pr Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2005-10-17 11:51:33 Turing machine Computability theory Models of computation Alan Turing Computational complexity theory Algorithm NP PP Computability Theoretical computer science Applied mathematics Computer science
238	Micro-Policies Formally Verified, Tag-Based Security Monitors Arthur Azevedo de Amorim1,2 Maxime D´en`es1,2 Nick Giannarakis2,3,4 C˘at˘alin Hrit¸cu2 Benjamin C. Pierce1 Antal Spector-Zabusky1 Andrew Tolmach5 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-05-18 15:05:49 MIX Computer programming Computing Software engineering Models of computation Pointer Computer Machine code
239	Short Course in Quantum Information Lecture 6 Decoherence, Errors, Error Correction Add to Reading List Source URL: info.phys.unm.edu Language: English - Date: 2005-12-02 20:19:00 Quantum mechanics Models of computation Classes of computers Quantum information theory Quantum computer Qubit Quantum information Quantum decoherence Quantum circuit Theoretical computer science Quantum information science Applied mathematics
240	Conversation Types Lu´ıs Caires and Hugo Torres Vieira CITI, Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:12 Models of computation Computer science Computability theory Lambda calculus Π-calculus Theoretical computer science Mathematics Applied mathematics

UPDATE